An axiomatic approach to structuring specifications
نویسندگان
چکیده
منابع مشابه
An axiomatic approach to structuring specifications
In this paper we develop an axiomatic approach to structured specifications in which both the underlying logical system and corresponding institution of the structured specifications are treated as abstract institutions, which means two levels of institution independence. This abstract axiomatic approach provides a uniform framework for the study of structured specifications independently from ...
متن کاملAn Axiomatic Approach to Routing
Information delivery in a network of agents is a key issue for large, complex systems that need to do so in a predictable, efficient manner. The delivery of information in such multi-agent systems is typically implemented through routing protocols that determine how information flows through the network. Different routing protocols exist each with its own benefits, but it is generally unclear w...
متن کاملAn axiomatic approach to diversity
The topic of diversity is an interesting subject, both as a purely mathematical concept and also for its applications to important real-life situations. Unfortunately, although the meaning of diversity seems intuitively clear, no precise mathematical definition exists. In this paper, we adopt an axiomatic approach to the problem, and attempt to produce a satisfactory measure.
متن کاملAn axiomatic approach to TACTIC
Most outranking methods build a preference relation between alternatives evaluated on several attributes using the concordance / non-discordance principle. This principle leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (concordance condition) and if there is no attribute that “strongly reject...
متن کاملAn Axiomatic Approach to Fairness
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as αfairness, Jain’s index and entropy are shown to be special cases. Properties of fairness measures satisfying the axioms are proven, including Schur-concavity. Among the engineering implications is a new understanding of α-f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2012
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2012.03.001